1. The seventeen provers of the world
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory ; Data processing ; Algebra ; Computer programs ;
2. The seventeen provers of the world
پدیدآورنده: / foreword by Dana S. Scott
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory--Data processing,Algebra--Computer programs
رده :
QA
,
155
.
7
,.
E4
,
S48
,
2006
3. The seventeen provers of the world
پدیدآورنده: Freek Wiedijk )ed.(; foreword by Dana S. Scott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing ، Proof theory,Computer programs ، Algebra
رده :
QA
76
.
L28
Vol
.
3600
